81. Automata, languages, and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : Proceedings
پدیدآورنده : Thomas Ottmann, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Cogresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
267
82. Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
پدیدآورنده : J. Leach Albvert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
510
83. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
رده :
QA
267
.
A9228
1991
84. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده : edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
85. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
پدیدآورنده : edited by Laurent Kott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
86. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
پدیدآورنده : G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
87. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده : Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
88. Automata, languages, and programming : 17th International Colloquium, Warwick University, England, July 16-20, 1990 : Proceedings
پدیدآورنده : M.S. Paterson )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
443
89. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
I55
1985
90. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
پدیدآورنده : Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
91. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
I5
1991
92. Automata, languages, and programming: 17th international colloquium, Warwick University England, July 16-20, 1990: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory
رده :
QA
267
.
I23
1990
93. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
پدیدآورنده : W. Kuich )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
94. Automata on infinite words
پدیدآورنده : Ecole de printemps d'informatique theorique, Le Mont Dore, May 41-81, 4891 ; edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L4
v
.
192
95. Automata on infinite words
پدیدآورنده : Ecole de printemps d'informatique theorique )4891: Le Mont-Dore, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine theory-- Congresses,، Word problems )Mathematics(-- Congresses
رده :
QA
267
.
E26
1984
96. Automata on infinite words : Ecole de printemps d'informatique theorique, Le Mont Dore, May 14-18, 1984
پدیدآورنده : edited by M. Nivat and D. Perrin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Word problems )Mathematics(
رده :
QA
76
.
L28
Vol
.
192
97. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
98. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf of GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
99. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده : edited by H. Brakhage on behalf of GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
100. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
پدیدآورنده : J.C.M. Baeten, J.W. Klop, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
